Merge "API: Catch Errors as well as Exceptions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 23 Aug 2018 17:05:19 +0000 (17:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 23 Aug 2018 17:05:19 +0000 (17:05 +0000)
commit91696c100c9ee01c30fb1a33d575dbcf465e6203
tree0a95e3a2497664796ecd35f51b0e735dc10042ad
parent7988fcaf9a8f1b65551e5a573faea32c8e89b265
parente6a75d806b91f29573c0038d1d64cd64dcbe09a6
Merge "API: Catch Errors as well as Exceptions"